1. Advances in Materials Manufacturing Science & Technology XIII Volume II
پدیدآورنده: edited by Dongming Guo, Jun Wang, Zhenyuan Jia, Renke Kang, Hang Gao, and Xuyue Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
2. Artificial intelligence and symbolic computation: 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006: proceedings
پدیدآورنده: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
A766
2006
3. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings
پدیدآورنده: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4120
4. Automated Practical Reasoning :
پدیدآورنده: edited by Jochen Pfalzgraf, Dongming Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
QA76
.
9
.
A96
E358
1995
5. Automated deduction in geometry
پدیدآورنده: / Xiao-Shan Gao, Dongming Wang, Lu Yang (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
448
,.
D38
,
I577
,
1998
6. Automated deduction in geometry
پدیدآورنده: / Hoon Hong, Dongming Wang (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Geometry--Data processing--Congresses,Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
رده :
QA
,
448
,.
D38
,
I577
,
2004
7. Automated deduction in geometry : International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996 : selected papers
پدیدآورنده: Dongming Wang )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1360
8. Automated deduction in geometry : Second International Workshop, ADG'98, Beijing, China, August 1998 : proceedings
پدیدآورنده: Xiao-Shan Gao, Dongming Wang, Lu Yang )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1669
9. Automated deduction in geometry : 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
پدیدآورنده: Hoon Hong, Dongming Wang )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3763
10. Automated deduction in geometry: 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers
پدیدآورنده: Hoon Hong, Dongming Wang )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
448
.
D38
I577
2004
11. Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers
پدیدآورنده: Jurgen Richter-Gebert, Dongming Wang, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2061
12. Developments in strategic ceramic materials :
پدیدآورنده: editors: Waltraud M. Kriven, Jingyang Wang, Dongming Zhu, Thomas Fischer ; volume editors: Jingyang Wang, Soshu Kirihara
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Ceramic materials, Congresses.
رده :
TA455
.
C43
13. Differential equations with symbolic computation
پدیدآورنده: / Dongming Wang, Zhiming Zheng, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Differential equations,Differential equations, Partial,Algorithms
رده :
QA372
.
D536
2005
14. Differential equations with symbolic computations
پدیدآورنده: / Dongming Wang, Zhiming Zheng, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Differential equations,Differential equations, Partial,Algorithms
رده :
E-BOOK
15. Elimination practic
پدیدآورنده: / Dongming Wang
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Elimination.,Polynomials.,Algebra--Data processing,Computer algorithms.,Differential equations, Nonlinear.
رده :
QA
,
192
,.
W362
,
2004eb
16. Geometric Computation
پدیدآورنده: \ editors Falai Chen, Dongming Wang.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Geometry -- Data processing.,Geometry -- Computer programs.,هندسه -- داده‌پردازی ,هندسه -- برنامه های کامپیوتری
رده :
E-Book
,
17. Geometric Computation
پدیدآورنده: / Falai Chen,Dongming Wang
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Geometry- data Processing-congresses,Geometry-computer procesing-congresses
رده :
512
.
152
C518g
18. Geometric computatio
پدیدآورنده: / editors Falai Chen, Dongming Wang
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Geometry--Data processing,Geometry--Computer programs
رده :
QA
,
448
,.
D38
,
G445
,
2004eb
19. Geometric computation /
پدیدآورنده: editors Falai Chen, Dongming Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Geometry-- Computer programs.,Geometry-- Data processing.,Géométrie-- Informatique.,Géométrie-- Logiciels.,Geometry-- Computer programs.,Geometry-- Data processing.,MATHEMATICS-- Number Theory.
رده :
QA448
.
D38
G464
2004eb
20. Geometric computation
پدیدآورنده: editors Falai Chen, Dongming Wang
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Data processing ، Geometry,Computer programs ، Geometry
رده :
QA
448
.
D38
G445
